1. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده : Wallen, Lincoln A.
کتابخانه: (طهران)
موضوع : ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
2. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
3. Workplace studies :
پدیدآورنده : edited by Paul Luff, Jon Hindmarsh, Christian Heath.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Kommunikationstechnik,Communication and technology.,Communication in design.,Organizational change-- Management.,Technological innovations-- Employee participation.,Technological innovations-- Management.,Changement organisationnel-- Gestion.,Communication en design.,Communication et technologie.,Innovations-- Gestion.,Innovations-- Participation du personnel.,Arbeidsorganisatie.,Arbeitsplatz,Aufsatzsammlung,Communication and technology.,Communication and technology.,Communication in design.,Communication in design.,Informatiesystemen.,Kommunikationstechnik.,Organisatieverandering.,Organisationswandel,Organizational change-- Management.,Organizational change-- Management.,Technische Innovation,Technische vernieuwing.,Technological innovations-- Employee participation.,Technological innovations-- Employee participation.,Technological innovations-- Management.,Technological innovations-- Management.
رده :
HD58
.
8
.
L84
2000
